- آموزش مبانی منطق جدید (ج۱)؛ گزاره‌های منطق گزاره‌ها

آموزش مبانی منطق جدید (ج۱)؛ گزاره‌های منطق گزاره‌ها

ناشر:

طه

نویسنده:

سید احمد فقیه

مترجم:

سال نشر:

1399

صفحه:

313

نوبت چاپ:

منطق ریاضی یا منطق جدید شاخه‌ای از ریاضیات است که به ارتباط ریاضی و منطق می‌پردازد.

نام‌های دیگر آن عبارتند از منطق جدید، منطق صوری، منطق نمادی، منطق نمادین، منطق علامتی، منطق کلاسیک.

ریشه‌های پیدایش این منطق به کارهای جوزپه پئانو ریاضیدان ایتالیایی و قبل از او لایب نیتز و لامبرت می‌رسد.

در اواخر قرن نوزدهم میلادی، با کارهای آگوستوس دمورگان، جرج بول، گوتلوب فرگه، برتراند راسل، دیوید هیلبرت و دیگران این علم به پیشرفت قابل ملاحظه‌ای دست یافت. منطق امروز در ریاضیات، شکل کامل تری از منطق در فلسفه است که اساس خود را با نظریهٔ مجموعه‌ها به اشتراک دارد.

کتاب حاضر به مبانی منطق جدید پرداخته و راهنمای مفیدی برای دانشجویان فلسفه است.